A system and apparatus for recognizing speech

ABSTRACT

A continuous, speaker independent, speech recognition method and system for recognizing a variety of vocabulary input signals. A language model which is an implicit description of a graph consisting of a plurality of states and arcs is inputted into the system. An input speech signal, corresponding to a plurality of speech frames is received and processed using a shared memory multipurpose machine having a plurality of microprocessors working in parallel to produce a textual representation of the speech signal.

BACKGROUND OF THE INVENTION

[0001] The present invention relates to speech recognition systems and more particularly to a method and apparatus for recognizing speech using a general purpose shared memory multiprocessor machine.

[0002] Speech recognizers, also known as speech-to-text systems or automatic speech recognition (ASR) systems, identify words and produce a textual representation of a received speech signal. In order to accomplish this, typical speech recognizers break down human speech into several distinct layers. A phoneme, for example, is the smallest unit of speech that differentiates utterances in a given language or dialect. However, a single phoneme may be pronounced differently depending on how it is used in a word or depending on the speaker. A context dependent unit is an acoustic realization of a phoneme as manifested in a particular context. These units combine to form words which together combine to form sentences, thereby creating the basic structure of human speech. A language model maps these basic speech sounds into sentences.

[0003] A typical speech recognizer includes computer hardware and software which identifies spoken speech signals and evaluates the signal with respect to a language model to obtain a textual representation of what the speaker said. One type of speech recognizer is an isolated word recognition system which requires a speaker to pause after each spoken word so that the recognizer can identify each word in isolation. However, the rate at which speech can be inputted and processed in these recognizers is reduced and using such a system is unnatural to the speaker. Another type of speech recognizer is a continuous speech recognition system which allows a user to speak normally with no pauses in-between words. A continuous speech system allows a more natural speech flow, but because it is more difficult to distinguish where a particular word ends and where the next word begins, a continuous speech recognition system and the algorithm running on this type of system are complex.

[0004] A language model and a speech signal are inputted into a recognizer. A language model consists of, for example, one or more models of context dependent units having probability distributions associated therewith, models that map context dependent units to words, and models that map words to sentences. The speech signal is partitioned into a plurality of speech frames which may contain a portion of or a complete phone. Each frame is evaluated with respect to a subset of the context dependent phone models. The results of this process are then used to progress through the higher levels of the language model. This process continues until the recognizer processes all the speech frames in an utterance. Because of the number of calculations, associated complex processing, and the need to run in a real-time environment, existing speech recognizers are limited to isolated word recognition or sacrifice accuracy to obtain real-time performance. In addition, current speech recognizers have models that are hard-coded into the system making speech recognition possible for only limited vocabularies.

[0005] Special-purpose machines allow speech recognizers to achieve real-time or near real-time processing capability. Some special-purpose machines have been built that are specially designed to take advantage of parallelism to do speech recognition. An example is described in K. A. Wen and J. F. Wang, “Efficient computing methods for parallel processing: An implementation of the Viterbi algorithm,” Computers Math. Applic., 17 (12) 1989, pages 1511-1521. However, these machines are not suitable for recognition of large-vocabulary continuous speech because they do not have the necessary generality to accommodate these large vocabularies. A drawback associated with these special purpose machines is that they are hard-coded with a particular language model and therefore can only be used for a particular recognition task. Another disadvantage with these systems is that they are designed only for isolated word recognition and are not suitable for continuous speech recognition. Moreover, none of these systems has the flexibility for receiving a language model as an input that is composed of a number of layers which are combined on-the-fly or implicitly during recognition. Therefore, none of these special-purpose machines can be used for general-purpose recognition of large-vocabulary continuous speech. In addition, special-purpose machines are prohibitively expensive, and are usually limited to development by large corporations making accessibility to the general public virtually impossible.

[0006] With the advancements in commercially available multi-processor systems, there is an opportunity to develop a continuous speech recognition system that uses a general purpose shared memory multiprocessor machine to perform continuous parallel speech recognition. There is also a need for a parallel speech recognizer that is capable of receiving a language model as an input so that much larger vocabularies as well as complex speech patterns can use the same underlying programming algorithm used for standard speech recognition tasks without requiring hard coding of a particular model.

SUMMARY OF INVENTION

[0007] The present invention meets the needs and avoids the disadvantages and drawbacks of existing speech recognition systems by providing a speaker independent continuous speech recognition method for recognizing a variety of speech inputs in real time. A signal corresponding to a plurality of speech frames is received. A language model is received in a general purpose shared memory machine having a plurality of processors. The language model is an implicit description of a graph consisting of a plurality of states and arcs. The graph and the speech input are processed in parallel using the plurality of processors.

BRIEF DESCRIPTION OF THE DRAWINGS

[0008]FIG. 1 is a general block diagram of a speech recognizer in an embodiment of the present invention.

[0009]FIG. 2 shows a general flowchart illustrating the method in accordance with the present invention.

[0010]FIG. 3 is a portion of an implicit graph used in accordance with the present invention.

[0011]FIG. 4 is a more detailed flowchart illustrating the processing of arcs and states.

[0012]FIG. 5 is sample high-level code for processing a frame in the present invention.

[0013]FIG. 6 is sample high-level code illustrating the likelihood calculation in the present invention.

[0014]FIG. 7 is sample high-level code illustrating the handling of the hash table for multi-threading the composition of the FSM portion of the algorithm.

DETAILED DESCRIPTION

[0015] The parallel speech recognizer in accordance with the present invention utilizes a sequential recognizer. By using a sequential recognizer, improvements made in sequential speech recognition, such as phone modeling, likelihood calculations, grammar representations, etc., can be applied to the parallel recognizer of the present invention. Accordingly, the present invention utilizes the two-level Viterbi search algorithm as described in C. -H. Lee and L. R. Rabiner, “A Frame-Synchronous Network Search Algorithm for Connected Word Recognition”, IEEE Transactions on Acoustics, Speech, Signal Processing, Vol. 37, No. 11, November 1989, a copy of which is included as Appendix A and is made a part of this application. The two-level Viterbi search algorithm operates at the boundary between the Hidden Markov Model (HMM) layer where signals representing speech frames are matched with HMM's that represent context dependent units as well as an upper layer which represents the mapping of context dependent units to sentences. The mapping of context dependent units to sentences is done using on-demand composition of Finite State Transducers (FSM) as described in Mohri et al., “Weighted Automata in Text and Speech Processing”, Proceedings of the ECAI 96 Workshop, ECAI, 1996, a copy of which is included as Appendix B and is made a part of this application.

[0016]FIG. 1 is a general block diagram of a parallel speech recognizer 10 in accordance with the present invention and is used to illustrate the processing relationship between multiple processors 1, 2-N and a shared memory 35. An input speech signal, in analog form, is received by an input device 20. The input signal is digitally sampled, for example every 10 milliseconds, which may occur at the input device 20 in machine 30 or by an alternative receiving device (not shown). Each sample undergoes spectral analysis and other forms of signal processing known in the art resulting in a parametric representation of the input signal as a frame or vector of real numbers. A language model is also inputted to recognizer 10. The language model contains models of the basic speech units and an implicit description of a graph, consisting of states and arcs, that serves to map basic speech units to sentences. The recognizer in accordance with the present invention is capable of receiving different language models and is not limited to one particular model as found in prior special-purpose parallel recognizers. The language model used can, for example, be made-up of: one or more models of context dependent units which have probability distributions associated therewith; models that map context dependent units to words; and models that map words to sentences.

[0017] A shared memory multiprocessor machine 30, used to parallel process the Viterbi search algorithm includes, at its most basic level, an interface bus 25, microprocessors 1, 2-N and memory 35. The speech algorithm is housed within multiprocessor machine 30 and run in parallel using processors 1,2-N to produce a representation of the signal received on line 15. As will be clear from the description and processing results described below, the number of microprocessors 1, 2-N, employed in machine 30 effects the speed and efficiency of the speech recognizer in processing received input signals. Once the input signals have been processed by the recognizer, the output is received by interface device 40. The outputs can be transmitted to a display apparatus, speech understanding tool or further processed depending upon the eventual use of the output. The machine 30, in accordance with the present invention, is a general purpose shared memory machine having a plurality of processors. Machine 30 is considered a general purpose machine in that it does not require hard-wiring or hard-coding for a particular type of language model or algorithm. In this manner, the recognizer is capable of processing increased vocabulary sizes by inputting different language models unlike prior parallel speech recognizers which used hard-wired special purpose machines to parallel process speech algorithms.

[0018] The speech recognition system according to the present invention maps between an input speech waveform, context dependent units, words and sentences to produce a textual representation of the input signal. This general process flow is best illustrated in FIG. 2. A speech signal at step 100 is inputted to a signal processor at step 110. The signal may be an analog signal in which case the signal processor digitally samples the signal and produces a frame or vector of real numbers. A language model is also inputted at step 115 where the model is an implicit description of a graph consisting of a plurality of states and arcs. The system is initialized at step 120 and a determination is made, at step 130, if any speech frames remain to be processed by the system. If no frames remain, the process is complete and the process terminates at step 135. If there are remaining speech frames to be processed by the recognizer, the process continues to step 140 where each frame is processed in parallel in multiprocessor machine 30. At step 145, a clean-up step is performed to validate that the processing for a particular frame assigned to a thread is complete and the process returns to step 130 and continues for subsequent frames. In this manner, the recognizer processes input speech frames sequentially, however, the processing associated with each frame is performed in parallel as will be described in detail below.

[0019] Turning briefly to FIG. 3, which illustrates an example of a portion of an implicit graph used in the present invention, each state S₀ and S₁ in the language model has associated therewith a plurality of incoming arcs, illustrated for example by arc a₀ and outgoing arcs illustrated for example by arc a₁. The state S₁ from which arc a₁ originates is referred to as the source state and arc a₁, which flows from the source state S₁, is referred to as an outgoing arc. The number of states and arcs in the implicit graph has been limited to these few for explanation purposes only.

[0020] In FIG. 4, a speech frame at step 146 is mapped to the input language model having a plurality of states and arcs. Initially, the active arc list is empty and the active state list contains only the start state of the graph. Each thread in the multi-processor configuration is assigned a subset of the active state set. This allocation of states determines the structure of the parallel algorithm. Each thread will process approximately N/P states where N is the number of active states and P corresponds to the number of processors. Each state is assigned to a single thread which is determined by taking the state number mod P. The active arcs originating from an active state are assigned to the same thread as the associated state. In this manner, a particular thread processes an active state subset as well as its associated active arc subset to take advantage of the multiprocessor parallel configuration. This technique enhances data locality.

[0021] At step 150, the active arc set is updated based on the active states from the graph. Each thread performs the likelihood calculation for each arc assigned to that particular thread as depicted at step 160. Each thread computes the minimum cost for its active arc subset at step 160 and participates in the computation of the global minimum cost at step 165. For example, this is done through the use of a vector that stores the maximum likelihood for each thread as well as using a sequential loop to compute the final minimum cost value. FIG. 5 illustrates sample high level code for processing a frame.

[0022] The calculation for determining the minimum cost at step 160 is best explained with reference to FIG. 3. As previously stated, the process calculates the likelihood costs of the active arcs, for example in FIG. 3 arcs a₀ and a₁. The state costs associated with states S₁ and S₃ and the likelihood costs associated with arcs a₁ and a₃ have already been calculated. A cost associated with arc a₁ is determined by adding the likelihood cost of arc a₁ and the state cost for state S₁ which is a source state for arc a₁. The state cost for state S₂ is calculated by determining the minimum of the costs of the incoming arcs a₁ and a₃ associated with state S₂. The local minimum cost for the thread is the minimum cost over all the states reached by arcs in the active arc subset for that thread.

[0023] The procedure for calculating likelihoods avoids recomputing the likelihood of a frame matching a particular context dependent unit by remembering the calculations that it has performed in the past. This technique, which is known in the art as “memo-ization” or “caching,” reduces the cost of computing multiple likelihoods. It is implemented using a bit vector that indicates whether a particular likelihood has been calculated and a result vector that holds previously computed likelihoods. To multi-thread the likelihood calculation, the present invention takes advantage of a property of the computation, namely that the calculation of a particular likelihood will always produce the same value, and a property that many shared memory machines employ, namely that writes from a single thread are seen in order by other threads. Together these properties allow the present algorithm to avoid using any synchronization for the memorization vectors even though there is technically the potential for interference between two computations of the same likelihood. The first property guarantees that even if multiple threads try to compute the same likelihood concurrently, they are guaranteed to write the same value into the result vector. The second property, combined with a careful ordering, writes to the vectors (in particular, writing the result into the result vector before setting the bit in the bit vector) guarantees that if a computation finds a one in the bit vector, then it is guaranteed to find the correct likelihood in the result vector. FIG. 6 illustrates an example of high-level code for performing the likelihood calculation in accordance with the present invention.

[0024] The arcs with costs that are not within the range of the minimum cost determined in step 165 of FIG. 4 plus a predetermined threshold value, which is an input to the recognizer, are pruned at step 170. Each thread goes through the active arcs assigned to it pruning the arcs if their associated costs fall outside the computed range. The new active states are determined at step 175 using the results from step 170. An arc is completed if the likelihood calculation for the most recent frame determines that there was a match with the underlying context dependent unit and the arc's cost is within the computed range. Step 175 adds the destination states of completed arcs to the active state set. In addition, the FSM layer is queried at step 180 to determine the transitions out of newly active states using on-demand composition of the FSMs.

[0025] Because the active arc calculations are assigned to a particular thread based on the state from which they originate, the thread that determines that a particular state becomes active may not be the thread that is assigned to that next state. This computation is performed by first storing the states which an arc designates as active. This storage data structure is in the form of a two dimensional array wherein each element in the array contains a linked list. A state “S” is added to the linked list at location [T, S mod P] in the array by Thread T, if that thread identifies the state as newly active. Once this data structure is built, a thread, “T”, queries the FSM layer for the states in the lists at locations [1 . . . P, T] of the array and adds them to its active state subset.

[0026] The multi-threading of the FSM library is centered on the routines for on-demand composition of automata. Two or more automata are combined to produce a composed automaton, whose states correspond to tuples with a tuple containing one state from each of the input automata. These routines make use of a hash table which maps from tuples of states to state numbers in the composed automaton. However, different threads need to update the hash table simultaneously which requires careful synchronization to avoid data contention. Locking access to the hash table as a whole is an inadequate solution, as too much time would be spent waiting for the lock. Instead, the present invention uses one lock to manage a small collection of hash buckets which increases contention slightly, but decreases substantially the number of locks required in comparison to a one-lock per bucket implementation. Reordering the code to minimize the amount of time any thread holds a bucket lock further reduces contention of the hash table. FIG. 7 illustrates high-level code for handling the hash table for multi-threading the composition of the FSMs portion of the algorithm.

[0027] The following results were achieved using the algorithm of the present invention on a Silicon Graphics Power Challenge XL multiprocessor, however the principles of the invention can be implemented on any shared memory machine having a plurality of microprocessors. Table 1 illustrates the average run time over 300 sentences for the 20,000 word Advanced Projects Research Agency (ARPA) North American Business News (NAB) task. Number of Processors Sequential 1 2 4 8 12 16 Average Run 35.1  33.7  20.4  12.3  8.4 7.8 7.6 Time Increase Speed 1.0 1.0 1.7 2.8 4.2 4.5 4.6 Over Sequential Relative to Real- 3.9 3.7 2.3 1.4 0.9 0.9 0.8 Time

[0028] The column labeled Sequential contains the run times using a sequential recognizer on one processor of the Power Challenge XL. Columns labeled 1, 2, 4, 8, 12 and 16 denote the results from using the indicated number of processors. The run time for the parallel recognizer in accordance with the present invention using 8 processors provides real-time performance. As can be seen from Table 1, the recognition speed drops off as more processors are used which is due, in part, by synchronization at locks on shared data structures and at barriers between phases of the Viterbi algorithm. The response time improvements with respect to previous sequential algorithms are achieved based on the parallelization of the Viterbi search, likelihood calculations and the on-demand FSM composition.

[0029] The speech recognition system in accordance with the present invention uses a general purpose shared memory multiprocessor machine to perform continuous parallel speech recognition. The system receives a language model as an input thereby accommodating larger vocabularies and complex speech patterns while using the same underlying algorithm. 

What is claimed is:
 1. A speech recognition method for recognizing a variety of speech inputs comprising the steps of: receiving a signal corresponding to a plurality of speech frames; inputting a language model in a general purpose shared memory machine having a plurality of processors wherein said model is an implicit description of a graph consisting of a plurality of states and arcs; assigning each state to at least one of said processors; and processing said states using said plurality of processors.
 2. The method of claim 1 further including the step of determining which of said states are active.
 3. The method of claim 1 further including the step of determining which of said arcs, associated with each of said states, are active.
 4. The method of claim 3 further including the step of assigning each of said active states to a processing thread associated with each of said processors.
 5. The method of claim 4 wherein said thread also processes said active arcs associated with said active state.
 6. The method of claim 3 wherein each of said arcs having a label corresponding to a speech sound.
 7. The method of claim 5 further including the step of determining the transitions from said active states using an on-demand composition of finite state transducers.
 8. The method of claim 7 wherein said step of determining is performed in parallel using said threads associated with said processors.
 9. The method of claim 6 wherein said language model includes models of said speech sounds, said method further including the step of evaluating said input speech frames with said models of speech sounds.
 10. The method of claim 9 further including the step of modeling each of said speech sounds by a multiple state Hidden Markov model, each of said states corresponding to a portion of said speech sound and having a probability distribution associated therewith.
 11. The method of claim 9 further including the step of calculating, for each of said frames, the likelihood cost of observing each of said frames in a set of Hidden Markov models.
 12. The method of claim 9 wherein each of said states having at least one incoming or outgoing arc within said graph, said method further including the steps of: calculating the likelihood costs of said active arcs; defining a source state cost by calculating the cost of arriving at a particular state within said graph; determining a cost of a particular arc by adding said likelihood cost of said arc and said source state cost for the state associated with said arc; calculating a state cost by determining the minimum of said costs of said incoming arcs associated with said particular state; determining which of said active arcs has the lowest cost; calculating a particular value range by adding a predetermined threshold value to the cost of said arc having the lowest cost; determining which of said active arcs fall within said value range; pruning said active arcs such that only said arcs having costs that fall within said range remain active.
 13. The method of claim 11 further including the step of processing said likelihood calculations in parallel in said machine.
 14. The method of claim 11 further including the step of updating said active arc list with said active arcs that remain after said pruning.
 15. The method of claim 13 further including the step of activating additional active states corresponding to said updated active arc list.
 16. The method of claim 14 wherein said step of activating additional active states is performed in parallel in said shared memory machine.
 17. A general purpose speech recognition system for receiving a speech signal and producing a textual representation of said speech signal, said system capable of recognizing a variety of speech input, said recognition system comprising: a data processing machine having at least two microprocessors and a memory means; a speech signal inputted to said machine; means for receiving said speech signal and digitally sampling said signal at a predetermined rate resulting in a representation of said input signal as a series of speech frames; an inputted language model stored in said memory means, said model including models relating to probability distributions corresponding to a plurality of speech sounds; means responsive to said speech frame for producing a set of signals representative of said input speech frame, said means for producing including processing a Viterbi speech algorithm in parallel on said microprocessors, said algorithm mapping said speech frames to Hidden Markov models and producing a textual representation of said received speech signal based on likelihood calculations; and means for providing a representation of said speech signal.
 18. The speech recognition system of claim 17 wherein said algorithm maintains a set of active states and a set of active arcs having one of said models associated with it.
 19. The speech recognition system of claim 18 wherein said active state set is partitioned into subsets where each subset is assigned to a particular thread, said active state subsets being processed in parallel within said machine.
 20. The speech recognition system of claim 19 wherein each of said active states within said active state subsets having corresponding active arcs, each of said active arcs assigned to said processor that processes said active states.
 21. The speech recognition system of claim 20 wherein said algorithm calculates the likelihood of observing said speech frame in said model in each of said active arcs, said likelihood calculations occurring in parallel such that said processor receiving said active arc also performs said likelihood calculations.
 22. A method of speech recognition having a plurality of active states, said method comprising the steps of: partitioning said plurality of active states to create one or more active state subsets, each of said subsets including a number of active states; assigning each of said active state subsets to one or a plurality of microprocessors included in a multiprocessor shared memory machine; determining active arcs associated with said active states; assigning said active arcs to a particular processor based on said assignment of said active states; performing a likelihood calculation for each of said active arcs; and pruning said active arcs based on said likelihood calculation such that said arcs having a likelihood calculation within a computed range are included in an active arc sublist.
 23. The method of claim 22 wherein the step of performing likelihood calculations for each of said active arcs is performed in parallel using at least two or more of said processors.
 24. The method of claim 22 further comprising the step of storing said likelihood calculation associated with an active arc.
 25. The method of claim 24 further comprising the steps of: determining whether a likelihood calculation associated with an active arc has previously been performed; and storing said likelihood calculation in a memory in parallel.
 26. The method of claim 23 further including the step of updating said active arc subset with active arcs that remain after said pruning.
 27. The method of claim 26 further including the step of creating a new active state subset based on said updated active arc subset.
 28. The method of claim 26 wherein said step of creating a new active state subset is performed in parallel using at least two or more of said processors.
 29. The method of claim 25 further including the step of determining the transitions from said active states using an on-demand composition of finite state transducers.
 30. The method of claim 29 further including the step up multi-threading said finite state transducers. 